// system calls
int fork(void);
int print(char *str, int pid);
int getpid();
//int exit(void) __attribute__((noreturn));
